COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	% titlepage 
C00004 ENDMK
C⊗;
% titlepage 
\setdaytime
\cltpage{\magstep1}
\SpecialPagetrue
\endSpecialPage{\relax}
\def\specialheadline{\mkplainhead{\hfil}}
\def\specialfootline{\mkplainfoot{\hfil}}
\normalsize
\normalbottom

\vbox{\strut}
\vskip 1 true in

\centerline{\fourteenit LISP}

\vskip .25 true in

\centerline{\twelverm Programming and Proving}


\vskip 5.0 true in

\vfill

\centerline{Copyright \copyright{} 1984}
\centerline{\tenrm John McCarthy and Carolyn Talcott} 
\smallskip
\centerline{\tenrm  Stanford University} 



\vskip .5 true in

\leftline{\tenrm  This version \TeX ed at\  \theTime\  \today.}



\bye